Reflection and Strategies in Rewriting Logic1 1Supported by Office of Naval Research Contracts N00014-95-C-0225 and N00014-96-C-0114, National Science Foundation Grant CCR-9224005, and by the Information Technology Promotion Agency, Japan, as a part of the Industrial Science and Technology Frontier Program “New Models for Software Architecture” sponsored by NEDO (New Energy and Industrial Technology Development Organization).
نویسندگان
چکیده
منابع مشابه
a fundamental study of "histiriographic metafiction", and "literary genres", as introduced in "new historical philosophy", and tracing them in the works of julian barnes.
abstract a fundamental study of “historio-graphic metafiction” and “literary genres”, as introduced in “new historical philosophy”, and tracing them in the works of julian barnes having studied the two novels, the porcupine and arthur & george, by julian barnes, the researcher has applied linda hutcheon’s historio-graphic metafictional theories to them. the thesis is divided into five cha...
15 صفحه اولexamining the relationship between fear of negative evaluation and communication strategies by iranian efl learners
the purpose of the present study was to investigate the relationship between fear of negative evaluation (fne) and communication strategies (css) among iranian efl learners. it was aimed to examine the differences in the use of communication strategies between speakers with high or low degree of fear of negative evaluation. the current study was a case study consisting of 10 english learners at...
the survey of the virtual higher education in iran and the ways of its development and improvement
این پژوهش با هدف "بررسی وضعیت موجود آموزش عالی مجازی در ایران و راههای توسعه و ارتقای آن " و با روش توصیفی-تحلیلی و پیمایشی صورت پذیرفته است. بررسی اسنادو مدارک موجود در زمینه آموزش مجازی نشان داد تعداد دانشجویان و مقاطع تحصیلی و رشته محل های دوره های الکترونیکی چندان مطلوب نبوده و از نظر کیفی نیز وضعیت شاخص خدمات آموزشی اساتید و وضعیت شبکه اینترنت در محیط آموزش مجازی نامطلوب است.
a new algorithm and software of individual life insurance and annuity computation
چکیده ندارد.
15 صفحه اولa study of the fifth child and ben in the world by doris lessing in the light of julia kristevas psychoanalytic concepts
این مطالعه به بررسی عوامل روانشناختی کریستوادردو رمان دوربس لسینگ،فرزندبنجم و بن دردنیای واقعی می بردازد.موفقیت یا شکست کاراکترهادر تکمیل شکست تتیزی یه کمک بدر وهم از مهم ترین دغدغه محقق می باشد.به بررسی تحلیل روانشناختی تمامی کاراکترها خصوصا بن برداخته و به دنبال نشانه هایی از جامعه شیشه ای کریستوا می باشد.
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1996
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00037-4